Refinement complements verification and validation
نویسندگان
چکیده
منابع مشابه
Refinement complements verification and validation
Knowledge based systems are being applied in ever increasing numbers . The development of knowledge acquisition tools has eased the ‘‘Knowledge Acquisition Bottleneck’’ . More recently there has been a demand for mechanisms to assure the quality of knowledge based systems . Checking the contents of the knowledge base and the performance of the knowledge based systems at various stages throughou...
متن کاملProtocol Refinement: Formalization and Verification
Cross-organizational business processes are not adequately supported by traditional methods, which fail to separate the interactions and business relationships of the participants from their internal implementations. We adopt a recent approach that gives primacy to the interactions among the participants. In this approach, a (business) protocol describes an interaction among two or more partici...
متن کاملValidation and Refinement versus Revision
This paper is a first work on the link between two fields: validation and refinement in knowledge base systems and revision in knowledge representation. The validation evaluates knowledge base quality; among the criterion which can define this quality an interesting one is coherency. The coherency of a set of rules can be viewed as the potential consistency of this set of rules with respect to ...
متن کاملModel building, refinement and validation
The CCP4 Study Weekend 2011 was held at the University of Warwick on the 6–7 January. Following a long established tradition of discussing at the Study Weekend the most important crystallographic topics, the choice for 2011 was the 'Model building, refinement and validation' triple bill. As a result of the extraordinary efforts of instrumentation and software developers, macromolecular crystall...
متن کاملVerification and Validation
This chapter considers the influences and challenges to Verification and Validation of SHM systems. The chapter first considers V&V practices as seen in commercial aircraft avionics, and then goes on to consider the special challenges that arise when pursuing V&V of SHM systems utilized in NASA spacecraft. The chapter concludes by considering the V&V planned for a new ground-based SHM system th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Human-Computer Studies
سال: 1996
ISSN: 1071-5819
DOI: 10.1006/ijhc.1996.0012